Improve index entries.
authorRichard M. Stallman <rms@gnu.org>
Sat, 7 Apr 2007 01:57:13 +0000 (01:57 +0000)
committerRichard M. Stallman <rms@gnu.org>
Sat, 7 Apr 2007 01:57:13 +0000 (01:57 +0000)
commit0a49d5d4c0e4e2f5c28a549302e432247cbf8c34
tree18350b96b97d3f702db6e90943ed5409d5994247
parente134660853f0f74db17a5a20359d5d81ce35edbc
Improve index entries.
(Timers): Fix previous change.
lispref/os.texi